home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 11 / Info-Mac_XI_Disc_1.cdr_ / Info-Mac XI Disc 1.cdr / Programs / Science & Math / MacEspresso 1.0 / espresso / signature.h < prev    next >
Encoding:
C/C++ Source or Header  |  1996-12-10  |  1.6 KB  |  51 lines  |  [TEXT/R*ch]
  1. #if BPI == 16
  2. #define ODD_MASK 0xaaaa
  3. #define EVEN_MASK 0x5555
  4. #else
  5. #define ODD_MASK 0xaaaaaaaa
  6. #define EVEN_MASK 0x55555555
  7. #endif
  8.  
  9. #define POSITIVE 1
  10. #define NEGATIVE 0
  11.  
  12. #define PRESENT 1
  13. #define ABSENT 0
  14.  
  15. #define RAISED 2
  16.  
  17. /* black_white.c */ int setup_bw();
  18. /* black_white.c */ int free_bw();
  19. /* black_white.c */ int black_white();
  20. /* black_white.c */ int split_list();
  21. /* black_white.c */ int merge_list();
  22. /* black_white.c */ int print_bw();
  23. /* black_white.c */ int variable_list_alloc();
  24. /* black_white.c */ int variable_list_init();
  25. /* black_white.c */ int variable_list_delete();
  26. /* black_white.c */ int variable_list_insert();
  27. /* black_white.c */ int variable_list_empty();
  28. /* black_white.c */ int get_next_variable();
  29. /* black_white.c */ int print_variable_list();
  30. /* canonical.c */ int is_minterm();
  31. /* canonical.c */ pcover find_canonical_cover();
  32. /* essentiality.c */ pcover etr_order();
  33. /* essentiality.c */ int aux_etr_order();
  34. /* essentiality.c */ pcover get_mins();
  35. /* essentiality.c */ int ascending();
  36. /* essentiality.c */ void print_list(int n,int *x,char *name);
  37. /* util_signature.c */ void set_time_limit();
  38. /* util_signature.c */ int print_cover();
  39. /* util_signature.c */ int sf_equal();
  40. /* util_signature.c */ int mem_usage();
  41. /* util_signature.c */ int time_usage();
  42. /* util_signature.c */ void s_totals();
  43. /* util_signature.c */ void s_runtime();
  44. /* sigma.c */ pcube get_sigma();
  45. /* sigma.c */ void set_not();
  46. /* signature.c */ void cleanup();
  47. /* signature.c */ pcover signature();
  48. /* signature.c */ pcover generate_primes();
  49. /* signature_exact.c */ pcover signature_minimize_exact();
  50. /* signature_exact.c */ sm_matrix *signature_form_table();
  51.